Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.toยท4hยท
Discuss: DEV
๐Ÿช„C Metaprogramming
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.comยท11hยท
Discuss: r/golang
๐ŸนGoroutine Scheduling
Item Patterns and Struct Await
noratrieb.devยท13hยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Handling
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Multi-Core By Default
rfleury.comยท17hยท
Discuss: Lobsters, Hacker News
๐Ÿ”€SIMD Programming
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
ฮปLambda Calculus
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Effective C++ โ€“ Hour 10
jtag.bearblog.devยท1d
๐ŸงธToy Compilers
Logical Operators & Control Flow
github.comยท9hยท
Discuss: DEV
๐ŸŽญDelimited Continuations
Effects in Rust (and Koka)
aloso.fooยท19hยท
Discuss: r/rust
โšกAlgebraic Effects
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Languages
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
๐ŸงฎCombinator Calculus
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
โšกfunctional programming
XProc 3 Steps as XSpec Test Helper Functions
medium.comยท2h
๐Ÿ”งError Recovery
simplicity โ€ข Pragmatic Dave Thomas & Sarah Taraporewalla
buzzsprout.comยท1hยท
Discuss: r/programming
๐ŸŽฎLanguage Ergonomics
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Managing Asynchronous Work with Celery and Redis
dev.toยท8hยท
Discuss: DEV
๐Ÿ“‹Task Queues
Unforgettable factory revisited
holyblackcat.github.ioยท14hยท
Discuss: r/cpp
๐Ÿช†Embedded DSLs